package main;

public class ButtonTooltip {
	public static void tooltips(){
		LawBar2.buttons[0][0].setToolTipText("Laws of Equivalence");
		LawBar2.buttons[1][0].setToolTipText("Laws of Or");
		LawBar2.buttons[2][0].setToolTipText("Laws of And");
		LawBar2.buttons[3][0].setToolTipText("Laws of Implication");
		LawBar2.buttons[4][0].setToolTipText("Laws of Negativity");
		LawBar2.buttons[5][0].setToolTipText("Laws of Not Implication");
		LawBar2.buttons[6][0].setToolTipText("Laws of Inequivalence");
		LawBar2.buttons[7][0].setToolTipText("Laws of Transitivity");
		LawBar2.buttons[8][0].setToolTipText("Laws of All");
		LawBar2.buttons[9][0].setToolTipText("Laws of Existence");
		LawBar2.buttons[10][0].setToolTipText("Laws of Floor");
		LawBar2.buttons[11][0].setToolTipText("Laws of Ceiling");
		LawBar2.buttons[12][0].setToolTipText("Laws of Lattice Theory");
		LawBar2.buttons[13][0].setToolTipText("Laws of Up");
		LawBar2.buttons[14][0].setToolTipText("Laws of Down");
		LawBar2.buttons[15][0].setToolTipText("Laws of Up/Down");
		LawBar2.buttons[16][0].setToolTipText("Laws of Max/Min");
		
		LawBar2.buttons[0][1].setToolTipText("0. [(X \u2261 (Y \u2261 Z)) \u2261 ((X \u2261 Y) \u2261 Z)]");
		LawBar2.buttons[0][2].setToolTipText("1. [X \u2261 Y \u2261 Y \u2261 X]");
		LawBar2.buttons[0][3].setToolTipText("2. [X \u2261 true \u2261 X]");
		LawBar2.buttons[0][4].setToolTipText("3. [X \u2261 X]");
		LawBar2.buttons[0][5].setToolTipText("4. [true]");
		
		LawBar2.buttons[1][1].setToolTipText("5. [X \u22C1 Y \u2261 Y \u22C1 X]");
		LawBar2.buttons[1][2].setToolTipText("6. [X \u22C1 (Y \u22C1 Z) \u2261 (X \u22C1 Y) \u22C1 Z]");
		LawBar2.buttons[1][3].setToolTipText("7. [X \u22C1 X \u2261 X]");
		LawBar2.buttons[1][4].setToolTipText("8. [X \u22C1 (Y \u2261 Z) \u2261 X \u22C1 Y \u2261 X \u2261 Z]");
		LawBar2.buttons[1][5].setToolTipText("9. [X \u22C1 (y \u22C1 Z) \u2261 (X \u22C1 Y) \u22C1 (X \u22C1 Z)]");
		LawBar2.buttons[1][6].setToolTipText("10. [X \u22C1 true \u2261 true]");

		LawBar2.buttons[2][1].setToolTipText("11. [X \u22C0 Y \u2261 X \u2261 Y \u2261 X \u22C1 Y]");
		LawBar2.buttons[2][2].setToolTipText("12. [X \u22C0 Y \u2261 Y \u22C0 X]");
		LawBar2.buttons[2][3].setToolTipText("13. [X \u22C0 (Y \u22C0 Z) \u2261 (X \u22C1 Y) \u22C1 Z]");
		LawBar2.buttons[2][4].setToolTipText("14. [X \u22C0 X \u2261 X]");
		LawBar2.buttons[2][5].setToolTipText("15. [X \u22C0 true \u2261 X]");
		LawBar2.buttons[2][6].setToolTipText("16. [X \u22C0 (X \u22C1 Y) \u2261 X]");
		LawBar2.buttons[2][7].setToolTipText("17. [X \u22C1 (X \u22C0 Y) \u2261 X]");
		LawBar2.buttons[2][8].setToolTipText("18. [X \u22C1 (Y \u22C0 Z) \u2261 (X \u22C1 Y] \u22C0 (X \u22C1 Z)]");
		LawBar2.buttons[2][9].setToolTipText("19. [X \u22C0 (Y \u22C1 Z) \u2261 (X \u22C0 Y) \u22C1 (X \u22C0 Z)]");
		LawBar2.buttons[2][10].setToolTipText("20. [X \u22C0 (Y \u2261 Z) \u2261 X \u22C0 Y \u2261 X \u22C0 Z \u2261 X]");
		LawBar2.buttons[2][11].setToolTipText("21. [X \u22C0 (Y \u2261 Z \u2261 W) \u2261 X \u22C0 Y \u2261 X \u22C0 Z \u2261 X \u22C0 W]");
		LawBar2.buttons[2][12].setToolTipText("22. [X \u22C0 (X \u2261 Y) \u2261 X \u22C0 Y]");
		LawBar2.buttons[2][13].setToolTipText("23. [(X \u2261 Y) \u22C0 (W \u2261 X) \u2261 (X \u2261 Y) \u22C0 (W \u2261 Y)]");
		
		LawBar2.buttons[3][1].setToolTipText("24. [X \u21D2 Y \u2261 X \u22C0 Y \u2261 Y]");
		LawBar2.buttons[3][2].setToolTipText("25. [X \u21D2 X]");
		LawBar2.buttons[3][3].setToolTipText("26. [X \u21D2 true]");
		LawBar2.buttons[3][4].setToolTipText("27. [X \u21D2 X \u22C1 Y]");
		LawBar2.buttons[3][5].setToolTipText("28. [X \u22C0 Y \u21D2 X]");
		LawBar2.buttons[3][6].setToolTipText("29. [X \u22C0 Y \u21D2 Z \u2261 X \u21D2 (Y \u21D2 Z)]");
		LawBar2.buttons[3][7].setToolTipText("30. [X \u21D2 Y \u2261 X \u22C0 Y \u2261 X]");
		LawBar2.buttons[3][8].setToolTipText("31. [X \u21D2 (Y \u2261 Z) \u2261 X \u22C0 Y \u2261 X \u22C0 Z]");
		LawBar2.buttons[3][9].setToolTipText("31a. [X \u21D2 (Y \u2261 Z) \u2261 X \u21D2 Y \u2261 X \u21D2 Z]");
		LawBar2.buttons[3][10].setToolTipText("32. [X \u22D0 Y \u2261 X \u22C0 Y \u2261 Y]");
		LawBar2.buttons[3][10].setToolTipText("33. [X \u22D0 Y \u2261 Y \u21D2 X]");

		LawBar2.buttons[4][1].setToolTipText("34. [false \u2261 \u00ACtrue]");
		LawBar2.buttons[4][2].setToolTipText("35. [\u00AC(X \u2261 Y) \u2261 \u00ACX \u2261 Y]");
		LawBar2.buttons[4][3].setToolTipText("36. [\u00ACX \u2261 X \u2261 false]");
		LawBar2.buttons[4][4].setToolTipText("37. [\u00ACX \u2261 Y \u2261 X \u2261 \u00ACY]");
		LawBar2.buttons[4][5].setToolTipText("38. [\u00AC\u00ACX \u2261 X]");
		LawBar2.buttons[4][6].setToolTipText("39. [X \u22C1 \u00ACX]");
		LawBar2.buttons[4][7].setToolTipText("40. [\u00ACX \u22C1 Y \u2261 X \u22C1 Y \u2261 Y]");
		LawBar2.buttons[4][8].setToolTipText("41. [X \u22C1 false \u2261 X]");
		LawBar2.buttons[4][9].setToolTipText("42. [X \u22C0 false \u2261 false]");
		LawBar2.buttons[4][10].setToolTipText("43. [\u00ACX \u22C1 \u00ACY \u2261 \u00AC(X \u22C0 Y)]");
		LawBar2.buttons[4][11].setToolTipText("44. [\u00ACX \u22C0 Y \u2261 X \u22C0 Y \u2261 \u00ACY]");
		LawBar2.buttons[4][12].setToolTipText("45. [\u00ACX \u22C0 \u00ACY \u2261 \u00AC(X \u22C1 Y)]");
		LawBar2.buttons[4][13].setToolTipText("46. [X \u22C1 (\u00ACX \u22C0 Y) \u2261 X \u22C1 Y]");
		LawBar2.buttons[4][14].setToolTipText("47. [X \u22C0 (\u00ACX \u22C1 Y) \u2261 X \u22C0 Y]");
		LawBar2.buttons[4][15].setToolTipText("48. [X \u2261 Y \u2261 (X \u22C0 Y) \u22C1 (\u00ACX \u22C0 \u00ACT)]");
		LawBar2.buttons[4][16].setToolTipText("49. [X \u22C0 \u00ACX \u2261 false]");

		LawBar2.buttons[5][1].setToolTipText("50. [X \u21C1 Y \u2261 \u00ACX \u22C1 Y]");
		LawBar2.buttons[5][2].setToolTipText("51. [X \u21C1 Y \u2261 \u00ACY \u21C1 \u00ACX]");
		LawBar2.buttons[5][3].setToolTipText("52. [false \u21C1 X]");
		LawBar2.buttons[5][4].setToolTipText("53. [X \u21C1 false \u2261 \u00ACX]");
		LawBar2.buttons[5][5].setToolTipText("54. [\u00ACfalse \u2261 true]");
		LawBar2.buttons[5][6].setToolTipText("55. [X \u22C0(X \u21C1 Y) \u21C1 Y]");
		LawBar2.buttons[5][7].setToolTipText("56. [X \u22C0 (X \u21C1 Y) \u22C0 (Y \u21C1 X) \u2261 X \u2261 Y]");
		LawBar2.buttons[5][8].setToolTipText("57. [(X \u21C1 Z) \u22C0 (Y \u21C1 Z) \u2261 X \u22C0 Y \u21C1 Z]");
		LawBar2.buttons[5][9].setToolTipText("58. [(X \u21C1 Y) \u22C0 (X \u21C1 Z) \u2261 X \u21C1 Y \u22C0 Z]");


		LawBar2.buttons[6][1].setToolTipText("59. [(X \u2262 Y) \u2261 not(X \u2261 Y)]");
		LawBar2.buttons[6][2].setToolTipText("60. [((X \u2262 Y) \u2262 Z) \u2261 Z) \u2261 (X \u2262 (Y \u2262 Z))]");
		LawBar2.buttons[6][3].setToolTipText("61. [((X \u2262 Y) \u2261 Z) \u2261 (X \u2262 (Y \u2262 Z))]");
		LawBar2.buttons[6][4].setToolTipText("62. [X \u2261 Y \u2262 Z \u2261 X \u2262 Y \u2261 Z]");
		LawBar2.buttons[6][5].setToolTipText("63. [X \u2262 Y \u2261 Y \u2262 X]");
		LawBar2.buttons[6][6].setToolTipText("64. [X \u2262 false \u2261 X]");
		LawBar2.buttons[6][7].setToolTipText("65. [X \u22C0 (Y \u2262 Z) \u2261 X \u22C0 Y \u2262 X \u22C0 Z]");

		LawBar2.buttons[7][1].setToolTipText("66. [(X \u21D2 Y) \u22C0 (Y \u21D2 Z) \u21D2 (X \u21D2 Z)]");
		LawBar2.buttons[7][2].setToolTipText("67. [(X \u21D2 Y) \u21D2 (X \u22C1 Z \u21D2 Y \u22C1 Z)]");
		LawBar2.buttons[7][3].setToolTipText("68. [(X \u21D2 Y) \u21D2 (X \u22C0 Z \u21D2 Y \u22C0 Z)]");
		LawBar2.buttons[7][4].setToolTipText("69. [(X \u21D2 Y) \u21D2 ((X \u21D2 Z) \u21D0 (Y \u21D2 Z))]");
		LawBar2.buttons[7][5].setToolTipText("70. [(X \u2261 Y) \u22C0 (Y \u2261 Z) \u21D2 (X \u2261 Z)]");

		LawBar2.buttons[8][1].setToolTipText("100. [<\u2200 i; r.i: f.i> \u2261 <\u2200 i;; not r.i \u22C1 f.i>]");
		LawBar2.buttons[8][2].setToolTipText("100a. [<\u2200 i; r.i: f.i> \u2261 <\u2200 i;; r.i \u21D2 f.i>]");
		LawBar2.buttons[8][3].setToolTipText("101. [X \u22C1 <\u2200 i: r.i: f.i> \u2261 <\u2200 i: r.i: X \u22C1 f.i>]");
		LawBar2.buttons[8][4].setToolTipText("102. [<\u2200 i: r.i: f.i> \u22C0 <\u2200 i: r.i: g.i> \u2261 <\u2200 i: r.i: f.i \u22C0 g.i>]");
		LawBar2.buttons[8][5].setToolTipText("103. [<\u2200 i: r.i: f.i> \u22C0 <\u2200 i: s.i: f.i:> \u2261 <\u2200 i: r.i \u22C1 s.t: f.i>]");
		LawBar2.buttons[8][6].setToolTipText("104. [<\u2200 i: false: f.i> \u2261 true]");
		LawBar2.buttons[8][7].setToolTipText("105. [<\u2200 i: i=j: f.i> \u2261 f.j]");
		LawBar2.buttons[8][8].setToolTipText("106. [<\u2200 i :: f.i> implies f.j>]");

		LawBar2.buttons[9][1].setToolTipText("107. [<\u2203 i: r.i: f.i> \u2261 not<\u2200 i: r.t: not f.i>]");
		LawBar2.buttons[9][2].setToolTipText("108. [<\u2203 i: r.i: f.i> \u2261 <\u2203 i:: r.i \u22C0 f.i>]");
		LawBar2.buttons[9][3].setToolTipText("109. [X \u22C0 <\u2203 i: r.i: f.i> \u2261 <\u2203 i: r.t: X \u22C0 f.i>]");
		LawBar2.buttons[9][4].setToolTipText("110. [<\u2203 i: r.i: f.i> \u22C1 <\u2203 i: r.i; g.i> \u2261 <\u2203 i: r.i: f.i \u22C1 g.i>]");
		LawBar2.buttons[9][5].setToolTipText("111. [<\u2203 i: r.i: f.i> \u22C1 <\u2203 i: s.i: f.i> \u2261 <\u2203 i: r.i \u22C1 s.i: f.i>]");
		LawBar2.buttons[9][6].setToolTipText("123. [<\u2203 i: i = j: f.i> \u2261 f.j]");
		LawBar2.buttons[9][7].setToolTipText("124. [<\u2203 i :: f.i> bimply f.i]");

		LawBar2.buttons[10][1].setToolTipText("0. [n \u2264 \u23BF x \u23CC \u2261 n \u2264 x]");
		LawBar2.buttons[10][2].setToolTipText("1. [\u23BF x \u23CC \u2264 x]");
		LawBar2.buttons[10][3].setToolTipText("2. [n \u2264 \u23BF n \u23CC]");
		LawBar2.buttons[10][4].setToolTipText("3. [\u23BF n \u23CC \u2264 n]");
		LawBar2.buttons[10][5].setToolTipText("4. [n = \u23BF n \u23CC]");
		LawBar2.buttons[10][6].setToolTipText("5. [\u23BF x \u23CC < n \u2261 x < n]");
		LawBar2.buttons[10][7].setToolTipText("6. [x < \u23BF x \u23CC + 1]");
		LawBar2.buttons[10][8].setToolTipText("7. [\u23BF x \u23CC \u2264 x \u22C0 x < \u23BF x \u23CC + 1]");
		LawBar2.buttons[10][9].setToolTipText("8. [\u23BF x \u23CC \u2264 \u23BF y \u23CC < \u23BF x \u23CC + 1]");
		LawBar2.buttons[10][10].setToolTipText("9. [\u23BF x \u23CC + n \u2261 \u2264 x \u22C0 x < n + 1]");
		LawBar2.buttons[10][11].setToolTipText("10. [\u23BF x \u23CC + n \u2261 x - 1 < n \u22C0 n \u2264 x]");
		LawBar2.buttons[10][12].setToolTipText("11. [\u23BF x + n \u23CC = \u23BF x \u23CC + n]");

		LawBar2.buttons[11][1].setToolTipText("12. [\u23BE n \u23CB \u2264 x \u2261 n \u2264 x]");
		LawBar2.buttons[11][2].setToolTipText("13. [x \u2264 \u23BE x \u23CB]");
		LawBar2.buttons[11][3].setToolTipText("14. [\u23BE n \u23CB \u2264 n]");
		LawBar2.buttons[11][4].setToolTipText("15. [n \u2264 \u23BE n \u23CB]");
		LawBar2.buttons[11][5].setToolTipText("16. [n = \u23BE n \u23CB]");
		LawBar2.buttons[11][6].setToolTipText("17. [n < \u23BE x \u23CB \u2261 x < n]");
		LawBar2.buttons[11][7].setToolTipText("18. [\u23BE x \u23CB - 1 < x]");
		LawBar2.buttons[11][8].setToolTipText("19. [\u23BE x \u23CB -1 < x \u22C0 x < \u23BE x \u23CB]");
		LawBar2.buttons[11][9].setToolTipText("20. [\u23BE x \u23CB \u2264 \u23BE y \u23CB \u21D2 x \u2264 y]");
		LawBar2.buttons[11][10].setToolTipText("21. [\u23BE x \u23CB = n \u2261 n - 1 < x \u22C0 x \u2264 n]");
		LawBar2.buttons[11][11].setToolTipText("22. [\u23BE x \u23CB = n \u2261 x \u2264 n \u22C0 n < x + 1]");
		LawBar2.buttons[11][12].setToolTipText("23. [\u23BE x + n \u23CB = \u23BE x \u23CB + n]");
		
		
		MainWindow.lawPane2.repaint();
	}

}
